The Computational Complexity of Deciding

نویسنده

  • Alice M Dean
چکیده

We determine the computational complexity of several dmision p r o b lerns related to hamiltonian-connected graphs. In particular, we show that it is NP-complete to determine whether a graph G is harniltonian-connected. We also show that it is NP-complete to determine whether G is hamiltonian-connerted from a distinguished vertex u . Lastly, we consider the complexity of multiple-solution and unique-solution variations. The notion of a hamilfonian-connected graph, in which there is a hamiltonian path between each pair of distinct vertices, was introduced in 1963 by Ore (111. In 1981 Chartrand and Nordhaus [2] defined a variant of this idea: a graph G is hamillonian-connected from a ve r f e z u if there are hamiltonian paths from v to each other vertex of G. Hendry [5] studied graphs uniquely hamiltonian-connected from a vertex u , in which there is a unique hamiltonian path from v to each other vertex of G. While considerable work has been done on the structure of such graphs 12, 6, 10, 31, very little has been said about the computational complexity of the associated decision problems, despite the fact that the decision problems for hamiltonian and related graphs are among the most famous NP-complete problems. In this paper we examine the complexity of several of these problems. We show in Section 2 that it is NP-complete to determine whether a graph is hamiltonianconnected. In Section 3 we show that it is NP-complete to determine if a graph is hamiltonian-connected from a vertex. In Section 4 we examine the complexity of multiply hamiltonian-connected problems, and, in Section 5, unique hamiltonianconnected problems. In this section we will refer to the following decision problems. CONGRESSUS NUMERANTIUM 93(1993), pp.209-214 HCON Instance: A graph G. Question: Is G hamiltonian-connected? Huv Instance: A graph G and distinct vertices u, v. Question: Is there a hamiltonian path from u to U P Huvl Instance: A graph G and distinct, degree 1 vertices u, v. Question: Is there a hamiltonian path from u to vP These three problems are all obvious members of NP. The hamiltonian path problem, Huv, is NP-complete [4] . The NP-completeness of Huvl follows easily, and is shown below. We then give a polynomial transformation from Huvl to HCON, showing that HCON is also NP-complete. Lemma 1. Huvl is NP-complete. Proof. We give a transformation from Huv. Let (G, u , v) be an instance of HUV. Construct a new graph G' by appending degree 1 verticeu, u' to u and v' to v. It is ciear that ( G , u , v) is a yes-inst,mce of Huv if and only if (G', u', v') is a yes-instance ofG ' . Theorem 1. HGON is NP-complete. Proof. We give a transformation from Huvl . Let (G. u , v) be an instance of Huvl . so that u and v each have degree 1. Construct a new graph G I by adding two new vertices, vl and v2, with vl adjacent t o u , v, and 02, and v2 adjacent t o all other vertices in G I . We claim that G has a hamiltonian u-v path if and only if G I is hamiltonian-connected. First, let H be a hamiltonian u-v path in G. For a vertex u1 in G , we will denote by w, (resp. w,) the neighbor of w on H that is closer t o u (resp. v). We will also denote by H ( w , z ) the section of H from the vertex w t o the vertex z . We show below how to use H to construct hamiltonian paths between each pair of vertices in G I . We use z and y to denote vertices of G I , not equal to rr or v, with z closer than y to u on the hamiltonian path H.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)

This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...

متن کامل

Good neighbors are hard to find: computational complexity of network formation

We investigate the computational complexity of several decision problems in a simple strategic game of network formation. We find that deciding if a player has a strategy that guarantees him a certain payoff against a given strategy profile of the other players is an NP-complete problem. Deciding if there exists a strategy profile that guarantees a certain aggregate payoff is also NP-complete. ...

متن کامل

On the computational complexity of finding a minimal basis for the guess and determine attack

Guess-and-determine attack is one of the general attacks on stream ciphers. It is a common cryptanalysis tool for evaluating security of stream ciphers. The effectiveness of this attack is based on the number of unknown bits which will be guessed by the attacker to break the cryptosystem. In this work, we present a relation between the minimum numbers of the guessed bits and uniquely restricted...

متن کامل

The complexity of coloring graphs without long induced paths

We discuss the computational complexity of determining the chromatic number of graphs without long induced paths. We prove NP-completeness of deciding whether a P 8-free graph is 5-colorable and of deciding whether a P 12-free graph is 4-colorable. Moreover, we give a polynomial time algorithm for deciding whether a P 5-free graph is 3-colorable.

متن کامل

Biclique Cryptanalysis of Block Ciphers LBlock and TWINE-80 with Practical Data Complexity

In the biclique attack, a shorter biclique usually results in less data complexity, but at the expense of more computational complexity. The early abort technique can be used in partial matching part of the biclique attack in order to slightly reduce the computations. In this paper, we make use of this technique, but instead of slight improvement in the computational complexity, we keep the amo...

متن کامل

Complexity Results for Explanations in the Structural-Model Approach

We analyze the computational complexity of Halpern and Pearl’s (causal) explanations in the structural-model approach, which are based on their notions of weak and actual causality. In particular, we give a precise picture of the complexity of deciding explanations, -partial explanations, and partial explanations, and of computing the explanatory power of partial explanations. Moreover, we anal...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004